	.insn	r, 0x00000013
	.insn	0x4, rs1
	.insn	0x4 0x5
	.insn	0x4, 0x5, 0x6
	.insn	0x4, 0x0001
	.insn	0x2, 0x00000013
	.insn	0x100000000001f
	.insn	6, 0x100000000001f
	.insn	0x1000000000000003f
	.insn	8, 0x1000000000000003f
	.insn	0x10000000000000000007f
	.insn	10, 0x10000000000000000007f
	.insn	0x100000000000000000000107f
	.insn	12, 0x100000000000000000000107f
	.insn	0x10000000000000000000000000000000000000000607f
	.insn	22, 0x10000000000000000000000000000000000000000607f
